Skip to content

spirv-val: add validation for SPV_INTEL_predicated_io#6665

Open
YuriPlyakhin wants to merge 2 commits intoKhronosGroup:mainfrom
YuriPlyakhin:spv-intel-predicated-io
Open

spirv-val: add validation for SPV_INTEL_predicated_io#6665
YuriPlyakhin wants to merge 2 commits intoKhronosGroup:mainfrom
YuriPlyakhin:spv-intel-predicated-io

Conversation

@YuriPlyakhin
Copy link
Copy Markdown

@YuriPlyakhin YuriPlyakhin commented Apr 30, 2026

Add spirv-val validation for OpPredicatedLoadINTEL and OpPredicatedStoreINTEL instructions introduced by the SPV_INTEL_predicated_io extension (KhronosGroup/SPIRV-Registry@7be4570):

  • Result/Object type must be scalar or vector of numerical type
  • Predicate must be a Boolean scalar
  • Default Value type must match Result Type (for load)
  • Pointer type must match Result/Object type (for typed pointers)
  • Volatile memory operand is not allowed

Co-Authored-By: Claude (commercial)

Add spirv-val validation for OpPredicatedLoadINTEL and
OpPredicatedStoreINTEL instructions introduced by the
SPV_INTEL_predicated_io extension:
- Result/Object type must be scalar or vector of numerical type
- Predicate must be a Boolean scalar
- Default Value type must match Result Type (for load)
- Pointer type must match Result/Object type (for typed pointers)
- Volatile memory operand is not allowed

Co-Authored-By: Claude (commercial)
@CLAassistant
Copy link
Copy Markdown

CLAassistant commented Apr 30, 2026

CLA assistant check
All committers have signed the CLA.

@YuriPlyakhin YuriPlyakhin requested a review from alan-baker May 1, 2026 15:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants